
#ifndef   __FLASH_LIBRARY
#define   __FLASH_LIBRARY

void RedirIntVector( void );

#endif
